<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
</head>
<body bgcolor="white">
Provides for ExtendedStaticJava type checker.

<p>
Author: <a href="mailto:robby@cis.ksu.edu">Robby</a>
</p>

</body>
</html>
